formal semantic language

См. также в других словарях:

• Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… …   Wikipedia

• formal/material mode of speech — A distinction that assumed great importance in the work of Carnap, particularly in his Logical Syntax of Language (1934). In the material mode of speech objects and their relations are the topic; in the formal mode, language itself is mentioned.… …   Philosophy dictionary

• Semantic change — Semantic change, also known as semantic shift or semantic progression describes the evolution of word usage usually to the point that the modern meaning is radically different from the original usage. In diachronic (or historical) linguistics,… …   Wikipedia

• Semantic publishing — on the Web or semantic web publishing refers to publishing information as data objects using a semantic web language or as documents with explicit semantic markups. Semantic publication is intended for computers to understand the structure and… …   Wikipedia

• Semantic translation — is the process of using semantic information to aid in the translation of data in one representation or data model to another representation or data model. Semantic translation takes advantage of semantics that associate meaning with individual… …   Wikipedia

• Semantic search — attempts to augment and improve traditional Research Searches by leveraging XML and RDF data from semantic networks to disambiguate semantic search queries and web text in order to increase relevancy of results.Hildebrand et al [ [http://swuiwiki …   Wikipedia

• Semantic parameterization — is a conceptual modeling process developed by Travis Breaux for expressing natural language descriptions of a domain in first order predicate logic. [T.D. Breaux, A.I. Anton, J. Doyle, Semantic parameterization: a process for modeling domain… …   Wikipedia

• Language change — is the manner in which the phonetic, morphological, semantic, syntactic, and other features of a language are modified over time. All languages are continually changing. At any given moment the English language, for example, has a huge variety… …   Wikipedia

• Language — This article is about the properties of language in general. For other uses, see Language (disambiguation). Cuneiform is one of the first known forms of written language, but spoken language is believed to predate writing by tens of thousands of… …   Wikipedia

• Semantic gap — The semantic gap characterizes the difference between two descriptions of an object by different linguistic representations, for instance languages or symbols. In computer science, the concept is relevant whenever ordinary human activities,… …   Wikipedia

• Semantic wiki — A semantic wiki is a wiki that has an underlying model of the knowledge described in its pages. Regular, or syntactic, wikis have structured text and untyped hyperlinks. Semantic wikis, on the other hand, provide the ability to capture or… …   Wikipedia